5 Existence of a Limiting Distribution for the Binary GCD Algorithm ∗ Gérard Maze

In this article, we prove the existence and uniqueness of a certain distribution function on the unit interval. This distribution appears in Brent's model of the analysis of the binary gcd algorithm. The existence and uniqueness of such a function has been conjectured by Richard Brent in his original paper [1]. Donald Knuth also supposes its existence in [4] where developments of its properties lead to very good estimates in relation with the algorithm. We settle here the question of existence, giving a basis to these results, and study the relationship between this limiting function and the Euclidean operator B 2 , proving rigorously that its derivative is a fixed point of B 2 .